fix the build when CONFIG_QEMU is specified by the user
authorStefano Stabellini <sstabellini@xensource.com>
Tue, 13 Sep 2011 14:46:47 +0000 (15:46 +0100)
committerStefano Stabellini <sstabellini@xensource.com>
Tue, 13 Sep 2011 14:46:47 +0000 (15:46 +0100)
commit2093b2b5db510fbfac4417326f8cbf16a2896abe
treef2a349a39d5fd15dcfd5d20db277f375cdec2390
parentbcbf8c5464ab321e9dc80b0c56d55f4945e4a2fc
fix the build when CONFIG_QEMU is specified by the user

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
scripts/git-checkout.sh